Weak Consistency Model in Distributed Systems Using Hierarchical Colored Petri Net
نویسندگان
چکیده
منابع مشابه
A Colored Petri Net Model of Distributed Tactical Decision Making*
A Colored Petri Net implementation of the mathematical model of a decision making organization that forms the basis of an experiment currently being carried out is presented. The model is used to investigate coordination mechanisms by decoupling the information flow paths and the coordination mechanisms into two interacting layers in which the coordination layer coordinates the behavior of the ...
متن کاملA Petri-net Model for Operational Cycle in SCADA Systems
Supervisory control and data acquisition (SCADA) system monitors and controls industrial processes in critical infrastructures (CIs) and plays the vital role in maintaining the reliability of CIs such as power, oil, and gas system. In fact, SCADA system refers to the set of control process, which measures and monitors sensors in remote substations from a control center. These sensors usually ha...
متن کاملHierarchical Time Stream Petri Net: A Model for Hypermedia Systems
The paper proposes a new class of timed Petri nets for the specification of temporal constraints and description of logical behaviour in distributed hypermedia systems. In particular, hierarchical design capabilities are added to the Time Stream Petri Net model developed for the specification of multimedia scenarios. The new model is named HTSPN, and its enhanced firing rules give a precise sem...
متن کاملTimed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors
Distributed{memory multithreaded multiprocessors are composed of a number of (multithreaded) processors, each with its memory, and an interconnecting network. The long memory latencies and synchronization delays are tolerated by context switching, i.e., by suspending the current thread and switching the processor to another `ready' thread provided such a thread is available. Because of very sim...
متن کاملHierarchical Multi-Agent Plans Using Model-Based Petri Net
Agents evolving in complex and dynamic multi-agent systems need to plan their tasks and to adapt their behavior in order to react to unpredictable events. Therefore they must have plans that remain subject to continual updating, even during its execution. Although this property is important in dynamic environments, it is difficult to have a trade-off between the convergence towards the goal to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computers
سال: 2018
ISSN: 1796-203X
DOI: 10.17706/jcp.13.2.236-243